Semenov Alexandr A. «Backdoors in combinatorial problems and their probabilistic generalizations» // Applied Discrete Mathematics. Supplement 2022. №15 C.100-104
Antonov K. V., Gribanova I. A., Semenov A. A. «Generating additional constraints in algebraic cryptanalysis using sat oracles» // Applied Discrete Mathematics. Supplement 2021. №14 C.104-110
